21. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
22. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
23. Elements of the theory of computation /
پدیدآورنده : Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
24. Feasible computations and provable complexity properties
پدیدآورنده : Hartmanis, Juris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
25. Introduction to autmata theory languages and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H66
26. Introduction to automata theory, Languages and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory,Formal languages,، Computational complexity
رده :
QA
267
.
H56
27. Introduction to automata theory, languages, and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
2001
28. Introduction to automata theory, languages, and computation /
پدیدآورنده : John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
H56
2007
29. Introduction to automata theory: languages, and computation
پدیدآورنده : / John E. Hopcroft, Jeffrey D. Ullman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Machine theory,Formal languages,Computational complexity
رده :
511
.
3
H791I
1979
30. Introduction to automata theory, languages, and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
2003
31. Introduction to automata theory, languages, and computation
پدیدآورنده : Hopcroft, John E., 9391-
موضوع : ، Machine theory,، Formal languages,، Computational complexity
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
32. Introduction to automata theory, languages, and computation
پدیدآورنده : / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Machine theory,Formal languages,Computational complexity
رده :
QA267
.
H56
2001
33. Introduction to automata theory, languages, and computation
پدیدآورنده : / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Machine theory,Formal languages,Computational complexity
رده :
QA267
.
H56
2001
34. Introduction to automata theory, languages , and computation
پدیدآورنده : / E.John,Hopcroft...
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory,formal languages,computational complexity
رده :
QA267
.
H56
2001
35. Introduction to automata theory, languages, and computation ]electronic resource[
پدیدآورنده : Hopcroft, John E.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
EBL
197
36. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
37. Languages and machines :
پدیدآورنده : Thomas A. Sudkamp
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité
رده :
QA267
.
3
.
S83
1997
38. Languages and machines: an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1997
39. Languages and machines; an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1988
40. Languages and machines : an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S93L2
2006
